Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
41	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
42	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 123–141 http://www.cssp.cnrs.fr/eiss8 Expressive Modifiers & Mixed Expressives Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:18 Logic Abstraction Philosophy Philosophy of language Formal languages Grammar Type theory Model theory Proposition Meaning Musical argument Intensifier
43	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
44	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
45	Grounding Geographic Information Simon Scheider, Anusuriya Devaraju, Krzysztof Janowicz, Patrick Maue, Sven Schade, Carsten Keßler, Jens Ortmann, Mohamed Bishr, Tonio Fincke, Tobias Weigel and Werner Kuhn Institute for Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:39 Philosophy Cognitive science Metaphysics Ontology Information science Knowledge representation Technical communication Qualia Formal ontology Semantics Web Ontology Language Philosophy of perception
46	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Mathematics Formal methods Edsger W. Dijkstra Predicate transformer semantics Errors and residuals Function Science and technology
47	WP 1.0 WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:34 Software Frama-C Formal methods Predicate transformer semantics Alt-Ergo Linux kernel
48	InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:33 Logic Philosophy Mathematical logic Semantics Abstraction Formal sciences Operations research Educational psychology Educational technology False Propositional calculus Concept
49	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
50	An Applied Ontology for Semantics Associated with Surface Water Features Dalia E. Varanka E. Lynn Usery U.S. Geological Survey Add to Reading List Source URL: cegis.usgs.gov Language: English - Date: 2014-12-15 16:23:10 Ontology Semantic Web Computing Knowledge representation Information science Information Knowledge engineering Upper ontology Formal ontology Web Ontology Language Geographic information system National Hydrography Dataset